home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_comp / free2.txt < prev    next >
Text File  |  1993-07-04  |  54KB  |  1,458 lines
  1. From: David Muir Sharnoff <muir@idiom.berkeley.ca.us>
  2. Subject: Catalog of compilers, interpreters, and other language tools [p2of3]
  3. Summary: montly posting of free language tools that include source code
  4. Reply-to: muir@idiom.berkeley.ca.us
  5. Followup-To: comp.archives.admin
  6. Organization: University of California, Berkeley
  7. Keywords: tools, FTP, administrivia
  8. Approved: compilers@iecc.cambridge.ma.us
  9.  
  10. Archive-name: free-compilers/part2
  11. Last-modified: 1993/03/24
  12. Version: 3.2
  13.  
  14.  
  15. language:    Concurrent Clean
  16. package:    The Concurrent Clean System
  17. version:    0.8.1
  18. parts:        development environment, documentation, compiler(byte-code), 
  19.         compiler(native), interpreter(byte-code), examples
  20. how to get:    ftp pub/Clean/* from ftp.cs.kun.nl 
  21. author:        Research Institute for Declarative Systems, 
  22.         University of Nijmegen
  23. description:    The Concurrent Clean system is a programming
  24.         environment for the functional language Concurrent
  25.         Clean, developed at the University of Nijmegen, The
  26.         Netherlands. The system is one of the fastest
  27.         implementations of functional languages available at
  28.         the moment. Its I/O libraries make it possible to do
  29.         modern, yet purely functional I/O (including windows,
  30.         menus, dialogs etc.) in Concurrent Clean. With the
  31.         Concurrent Clean system it is possible to develop
  32.         real-life applications in a purely functional
  33.         language.
  34.         * lazy and purely functional
  35.         * strongly typed - based on Milner/Mycroft scheme
  36.         * module structure
  37.         * modern I/O
  38.         * programmer-infulenced evaluation order by annotations
  39. contact:    clean@cs.kun.nl
  40. ports:        Sun-3, Sun-4, Macintosh
  41. updated:    1992/11/07
  42.  
  43. language:    Dylan
  44. pakcage:    Thomas
  45. version:    ? first public release ?
  46. parts:        translator(Scheme)
  47. how to get:    ftp pub/DEC/Thomas from gatekeeper.pa.dec.com
  48. author:        Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller 
  49.         <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com>
  50. description:    Thomas, a compiler written at Digital Equipment
  51.         Corporation's Cambridge Research Laboratory compiles
  52.         a language compatible with the language described
  53.         in the book "Dylan(TM) an object-oriented dynamic
  54.         language" by Apple Computer Eastern Research and
  55.         Technology, April 1992.     It does not perform well.
  56.         Thomas is NOT Dylan(TM).
  57. ports:        MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambi, Mac, PC, 
  58.         Vax, MIPS, Alpha, 680x0
  59. requires:    Scheme
  60. updated:    1992/09/11
  61.  
  62. language:    E
  63. package:    Amiga E
  64. version:    2.1b
  65. parts:        compiler, assembler, linker, utilities
  66. author:        Wouter van Oortmerssen <Wouter@mars.let.uva.nl>
  67. how to get:    ftp amiga/dev/lang/AmigaE21b.lha from amiga.physik.unizh.ch
  68. description:    An Amiga specific E compiler.  E is a powerful and flexible
  69.         procedural programming language and Amiga E a very fast com-
  70.         piler for it, with features such as compilation speed of
  71.         20000 lines/minute on a 7 Mhz amiga, inline assembler and
  72.         linker integrated into compiler, large set of integrated
  73.         functions, module concept with 2.04 includes as modules,
  74.         flexible type-system, quoted expressions, immediate and typed
  75.         lists, low level polymorphism, exception handling and much,
  76.         much more.  Written in Assembly and E.    
  77. discussion:    comp.sys.amiga.programmer (sometimes)
  78. ports:        Amiga
  79. portability:    not portable at all
  80. status:        actively developed
  81. updated:    1993/03/01
  82.  
  83. language:    EDIF (Electronic Design Interchange Format)
  84. package:    Berkeley EDIF200 
  85. version:    7.6
  86. parts:        translator-building toolkit
  87. author:        Wendell C. Baker and Prof A. Richard Newton of the Electronics 
  88.         Research Laboratory, Department of Electrical Engineering and 
  89.         Computer Sciences at the University of California, Berkeley, CA
  90. how to get:    ftp from pub/edif in ic.berkeley.edu
  91. description:    ?
  92. ports:        ?
  93. restriction:    no-profit w/o permission
  94. updated:    1990/07
  95.  
  96. language:    EDIF v 2 0 101
  97. package:    University of Manchester EDIF v 2 0 101 Syntax Checker
  98. how to get:    ftp pub/edif from edif.cs.man.ac.uk
  99. description:    Parser/Syntax checker for EDIF v 2 0 101 written in ANSI-C
  100.  
  101. language:    Eiffel
  102. package:    ?
  103. version:    ?
  104. parts:        source checker
  105. author:        Olaf Langmack <langmack@inf.fu-berlin.de> and Burghardt Groeber
  106. how to get:    ftp pub/heron/ep.tar.Z from ftp.fu-berlin.de
  107. description:    A compiler front-end for Eiffel-3 is available. It has been
  108.         generated automatically with the Karlsruhe toolbox for
  109.         compiler construction according to the most recent public
  110.         language definition. The parser derives an easy-to-use
  111.         abstract syntax tree, supports elementary error recovery
  112.         and provides a precise source code indication of errors. It
  113.         performs a strict syntax check and analyses 4000 lines of
  114.         source code per second on a Sun-SPARC workstation.
  115. updated:    1992/12/14
  116.  
  117. language:    EuLisp
  118. package:    Feel (Free and Eventually Eulisp)
  119. version:    0.75
  120. parts:        interpreter, documentation
  121. how to get:    ftp pub/eulisp from ftp.bath.ac.uk
  122. author:        Pete Broadbery <pab@maths.bath.ac.uk>
  123. description:    + integrated object system
  124.         + a module system
  125.         + parallelism
  126.         + interfaces to PVM library, tcp/ip sockets, futures, 
  127.         Linda, and CSP.
  128. ports:        most unix
  129. portability:    high, but can use shared memory and threads if available
  130. updated:    1992/09/14
  131.  
  132. language:    FMPL of Accardi
  133. package:    FMPL interpreter
  134. version:    1
  135. parts:        interpreter, documentation
  136. author:        Jon Blow <blojo@xcf.berkeley.edu>
  137. how to get:    ftp src/local/fmpl/* from xcf.berkeley.edu
  138. description:    FMPL is an experimental prototype-based object-oriented 
  139.         programming language developed at the Experimental Computing
  140.         Facility of the University of California, Berkeley.
  141.         + lambda-calculus based constructs.
  142.         + event-driven (mainly I/O events)
  143. updated:    1992/06/02
  144.  
  145. language:    FORTH
  146. package:    TILE Forth
  147. version:    2.1
  148. parts:        interpreter
  149. author:        Mikael Patel <mip@sectra.se>
  150. how to get:    ftp tile-forth-2.1.tar.Z from a GNU archive site
  151. description:    Forth interpreter in C; many Forth libraries
  152. conformance:    Forth83
  153. restriction:    shareware/GPL
  154. ports:        unix
  155. updated:    1991/11/13
  156.  
  157. language:    FORTH
  158. package:    cforth
  159. version:    ?
  160. parts:        interpreter
  161. author:        ?
  162. how to get:    comp.sources.unix archive volume 1
  163. description:    ?
  164. updated:    ?
  165.  
  166. language:    FORTH
  167. package:    F68K
  168. version:    ?
  169. how to get:    ftp atari/Languages/f68k.* from archive.umich.edu
  170. description:    a portable Forth system for Motorola 68k computers
  171. ports:        Atari ST/TT, Amiga, Sinclair QL and OS9
  172. portability:    very high for 68000 based systems
  173. contact:    Joerg Plewe <joerg.plewe@mpi-dortmund.mpg.de>
  174. updated:    1992/12/14
  175.  
  176. language:    Forth, Yerk
  177. package:    Yerk
  178. version:    3.62
  179. parts:        ?
  180. how to get:    ftp pub/Yerk/? from oddjob.uchicago.edu
  181. description:    Yerk is an object oriented language based on a
  182.         Forth Kernel with some major modifications.  It
  183.         was originally known as Neon, developed and sold
  184.         as a product by Kriya Systems from 1985 to 1989.
  185.         Several of us at The University of Chicago have
  186.         maintained Yerk since its demise as a product.
  187.         Because of the possible trademark conflict that
  188.         Kriya mentions, we picked the name Yerk, which is
  189.         at least not an acronym for anything, but rather
  190.         stands for Yerkes Observatory, part of the Department
  191.         of Astronomy and Astrophysics at U of C.
  192. author:        ?
  193. updated:    ?
  194.  
  195. language:    Forth?
  196. package:    Mops
  197. version:    2.3
  198. parts:        ?
  199. how to get:    ftp pub/Yerk/? from oddjob.uchicago.edu
  200. description:    ???
  201. updated:    1993/03/22
  202.  
  203. language:    Fortran
  204. package:    f2c
  205. version:    ?
  206. parts:        translator(C)
  207. author:        ?
  208. how to get:    ftp ft2/? from netlib@research.att.com
  209. bugs:        dmg@research.att.com
  210. updated:    ? 1991/02/16 ?
  211.  
  212. language:    Fortran
  213. package:    Floppy
  214. version:    ?
  215. parts:        ?
  216. how to get:    ffccc in comp.sources.misc archive volume 12
  217. description:    ?
  218. contact:    ?
  219. updated:    1992/08/04
  220.  
  221. language:    Fortran
  222. package:    Flow
  223. version:    ?
  224. parts:        ?
  225. how to get:    comp.sources.misc archive volume 31
  226. author:        Julian James Bunn <julian@vxcrna.cxern.ch>
  227. descripton:    The Flow program is a companion to Floppy, it allows the user 
  228.         to produce various reports on the structure of Fortran 
  229.         77 code, such as flow diagrams and common block tables.
  230. requires:    Floppy
  231. ports:        VMS, Unix, CMS
  232.  
  233. language:    Fortran
  234. package:    Adaptor (Automatic DAta Parallelism TranslatOR)
  235. version:    ?
  236. parts:        translator(Fortran), documentation
  237. how to get:    ftp gmd/adaptor/* from ftp.gmd.de
  238. description:    Adaptor is a tool that transforms data parallel
  239.         programs written in Fortran with array extensions,
  240.         parallel loops, and  layout directives    to parallel
  241.         programs with explicit message passing.
  242.         ADAPTOR is not a compiler but a source to source
  243.         transformation that generates Fortran 77 host and
  244.         node programs with message passing.  The new
  245.         generated source codes have to be compiled by the
  246.         compiler of the parallel machine. 
  247. ports:        Alliant FX/2800, iPSC/860, Net of Sun-4 or RS/6000 
  248.         Workstations (based on PVM), Parsytec GCel, Meiko Concerto
  249. contact:    Thomas Brandes <brandes@gmdzi.gmd.de>
  250. updated:    1992/10/17
  251.  
  252. language:    Fortran, C
  253. package:    cfortran.h
  254. version:    2.6
  255. parts:        macros, documentation, examples
  256. author:        Burkhard Burow
  257. how to get:    ftp cfortran/* from zebra.desy.de
  258. description:    cfortran.h is an easy-to-use powerful bridge between
  259.         C and FORTRAN. It provides a completely transparent, machine
  260.         independent interface between C and FORTRAN routines and
  261.         global data.
  262.         cfortran.h provides macros which allow the C preprocessor to
  263.         translate a simple description of a C (Fortran) routine or
  264.         global data into a Fortran (C) interface.
  265. references:    reviewed in RS/Magazine November 1992 and
  266.         a user's experiences with cfortran.h are to be described
  267.         in the 1/93 issue of Computers in Physics.
  268. portability:    high
  269. ports:        VAX VMS or Ultrix, DECstation, Silicon Graphics, IBM RS/6000,
  270.         Sun, CRAY, Apollo, HP9000, LynxOS, f2c, NAG f90.
  271. contact:    burow@vxdesy.cern.ch
  272. updated:    1992/04/12
  273.  
  274. langauge:    Fortran
  275. package:    fsplit
  276. version:    ?
  277. parts:        ?
  278. how to get:    ?
  279. description:    a tool to split up monolithic fortran programs
  280. updated:    ?
  281.  
  282. language:    Fortran
  283. package:    ?
  284. version:    ?
  285. author:        Steve Mccrea <mccrea@gdwest.gd.com>
  286. description:    a tool to split up monolithic fortran programs
  287. requires:    new awk
  288. updated:    ?
  289.  
  290. language:    FP
  291. package:    ? funcproglang ?
  292. version:    ?
  293. parts:        translator(C)
  294. author:        ?
  295. how to get:    comp.sources.unix archive volume 13
  296. descrition:    ? Backus Functional Programming ?
  297. updated:    ?
  298.  
  299. language:    Garnet ??
  300. package:    Garnet
  301. version:    2.1 alpha
  302. how to get:    ftp from /usr/garnet/? from a.gp.cs.cmu.edu
  303. description:    ?
  304. contact:    ?
  305. updated:    ?
  306.  
  307. language:    Garnet
  308. package:    Multi-Garnet
  309. version:    2.1
  310. how to get:    ftp /usr/garnet/alpha/src/contrib/multi-garnet 
  311.         from a.gp.cs.cmu.edu
  312. author:        Michael Sannella <sannella@cs.washington.edu>
  313. description:    better contstraint system for Garnet ??
  314. updated:    1992/09/21
  315.  
  316. language:    Gofer (Haskell derivitive)
  317. package:    Gofer
  318. version:    2.28a
  319. parts:        interpreter, translator(->C), documentation, examples
  320. author:        Mark Jones <jones-mark@cs.yale.edu>
  321. how to get:    ftp pub/haskell/gofer from nebula.cs.yale.edu
  322.     uk:        pub/Packages/Gofer from ftp.comlab.ox.ac.uk
  323. description:     Gofer is based quite closely on the Haskell programming
  324.         language, version 1.2.  It supports lazy evaluation, higher
  325.         order functions, pattern matching, polymorphism, overloading
  326.         etc and runs on a wide range of machines.
  327. conformances:    Gofer does not implement all of Haskell, although it is 
  328.         very close.
  329. status:        maintained but not developed (for a while anyway)
  330. ports:        many, including Sun, PC, Mac, Atari, Amiga
  331. updated:    1993/03/09
  332.  
  333. language:    Haskell
  334. package:    Chalmers Haskell (aka Haskell B.)
  335. version:    ?
  336. parts:        ?
  337. how to get:    ftp pub/haskell/chalmers/hbc from animal.cs.chalmers.se
  338. requires:    LML
  339. contact:    ?
  340. updated:    1992/07/06
  341.  
  342. language:    Haskell
  343. package:    The Glasgow Haskell Compiler (GHC)
  344. version:    0.10
  345. parts:        translator(C), tests, profiler
  346. how to get:    ftp pub/haskell/glasgow/* from nebula.cs.yale.edu
  347.     uk:        ftp pub/haskell/glasgow/* from ftp.dcs.glasgow.ac.uk
  348.     se:        ftp pub/haskell/glasgow/* from animal.cs.chalmers.se
  349. description:    + almost all of Haskell is implemented
  350.         + An extensible I/O system is provided, based on a "monad"
  351.         + significant language extensions are implemented: Fully 
  352.         fledged unboxed data types, Ability to write arbitrary in-line
  353.         C-language code, Incrementally-updatable arrays, Mutable
  354.         reference types.
  355.         + generational garbage collector
  356.         + Good error messages
  357.         + programs compiled with GHC "usually" beat
  358.         Chalmers-HBC-compiled ones.
  359.         + compiler is written in a modular and well-documented way.
  360.         + Highly configurable runtime system. 
  361.         - No interactive system.
  362.         - Compiler is greedy on resources.
  363. requires:    GNU C 2.1+, perl, Chalmers HBC 0.998.x (source build only)
  364. conformance:    Almost all of Haskell is implemented.
  365. ports:        Sun4
  366. portability:    should be high
  367. bugs:        <glasgow-haskell-bugs@dcs.glasgow.ac.uk>
  368. contact:    <glasgow-haskell-request@dcs.glasgow.ac.uk>
  369. updated:    1992/12/14
  370.  
  371. language:    Hermes
  372. package:    IBM Watson prototype Hermes system
  373. version:    0.8alpha patchlevel 01
  374. parts:        bytecode compiler, bytecode translator(C), runtime
  375. author:        Andy Lowry <lowry@watson.ibm.com>
  376. how to get:    ftp pub/hermes/README from software.watson.ibm.com
  377. description:    Hermes is a very-high-level integrated language and
  378.         system for implementation of large systems and
  379.         distributed applications, as well as for
  380.         general-purpose programming.  It is an imperative,
  381.         strongly typed, process-oriented language.  Hermes
  382.         hides distribution and heterogeneity from the
  383.         programmer.  The programmer sees a single abstract
  384.         machine containing processes that communicate using
  385.         calls or sends.     The compiler, not the programmer,
  386.         deals with the complexity of data structure layout,
  387.         local and remote communication, and interaction with
  388.         the operating system.  As a result, Hermes programs are
  389.         portable and easy to write.  Because the programming
  390.         paradigm is simple and high level, there are many
  391.         opportunities for optimization which are not present in
  392.         languages which give the programmer more direct control
  393.         over the machine.
  394. reference:    Strom, Bacon, Goldberg, Lowry, Yellin, Yemini. Hermes: A
  395.         Language for Distributed Computing. Prentice-Hall, Englewood
  396.         Cliffs, NJ.  1991.  ISBN: O-13-389537-8.
  397. ports:        RS6000 Sun-4 NeXT IBM-RT/bsd4.3 (Sun-3 and Convex soon)
  398. discussion:    comp.lang.hermes
  399. updated:    1992/03/22
  400.  
  401. language:    Hope
  402. package:    ?
  403. parts:        ?
  404. how to get:    ftp ? from brolga.cc.uq.oz.au
  405. author:        ?
  406. description:    Functional language with polymorphic types and lazy lists.
  407.         First language to use call-by-pattern.
  408. ports:        Unix, Mac, PC
  409. updated:    1992/11/27
  410.  
  411. language:    ici
  412. package:    ici
  413. parts:        interpreter, documentation, examples
  414. author:        Tim Long
  415. how to get:    ftp pub/ici.cpio.Z from extro.ucc.su.oz.au
  416. description:    ICI has dynamic arrays, structures and typing with the flow
  417.         control     constructs,  operators     and syntax of C.  There are
  418.         standard functions to provided the sort of support  provided
  419.         by  the     standard  I/O and the C libraries, as well as addi-
  420.         tional types and functions to support common needs  such  as
  421.         simple data bases and character based screen handling.
  422. ports:        Sun4, 80x86 Xenix, NextStep, MSDOS
  423. features:    + direct access to many system calls
  424.         + structures, safe pointers, floating point
  425.         + simple, non-indexed built in database
  426.         + terminal-based windowing library
  427. contact:    ?
  428. portability:    high
  429. status:        actively developed.
  430. updated:    1992/11/10
  431.  
  432. language:    Icon
  433. package:    icon
  434. version:    8.7 (8.5, 8.0 depending on platform)
  435. parts:        interpreter, compiler (some platforms), library (v8.8)
  436. author:        Ralph Griswold <ralph@CS.ARIZONA.EDU>
  437. how to get:    ftp icon/* from cs.arizona.edu
  438. description:    Icon is a high-level, general purpose programming language that
  439.         contains many features for processing nonnumeric data,
  440.         particularly for textual material consisting of string of
  441.         characters.
  442.         - no packages, one name-space
  443.         - no exceptions
  444.         + object oiented features
  445.         + records, sets, lists, strings, tables
  446.         + unlimited line length
  447.         - unix interface is primitive
  448.         + co-expressions
  449. references:    "The Icon Programmming Language", Ralph E. Griswold and 
  450.         Madge T. Griswold, Prentice Hall, seond edition, 1990.
  451.         "The Implementation of the Icon Programmming Language", 
  452.         Ralph E. Griswold and Madge T. Griswold, Princeton 
  453.         University Press 1986
  454. ports:        Amiga, Atari, CMS, Macintosh, Macintosh/MPW, MSDOS, MVS, OS/2,
  455.         Unix (most variants), VMS, Acorn
  456. discussion:    comp.lang.icon
  457. contact:    icon-project@cs.arizona.edu
  458. updated:    1992/08/21
  459.  
  460. language:    IDL (Project DOE's Interface Definition Language)
  461. package:    SunSoft OMG IDL CFE
  462. version:    1.0
  463. parts:        compiler front end, documentation
  464. author:        SunSoft Inc.
  465. how to get:    ftp pub/OMG_IDL_CFE_1.0 from omg.org
  466. description:    OMG's (Object Management Group) CORBA 1.1 (Common
  467.         Object Request Broker Architecture) specification
  468.         provides the standard interface definition between
  469.         OMG-compliant objects.    IDL (Interface Definition
  470.         Language) is the base mechanism for object
  471.         interaction.  The SunSoft OMG IDL CFE (Compiler Front
  472.         End) provides a complete framework for building CORBA
  473.         1.1-compliant preprocessors for OMG IDL.  To use
  474.         SunSoft OMG IDL CFE, you must write a back-end; full
  475.         instructions are included.  No problem.     A complete
  476.         compiler of IDL would translate IDL into client side
  477.         and server side routines for remote communication in
  478.         the same manner as the currrent Sun RPCL compiler. The
  479.         additional degree of freedom that the IDL compiler
  480.         front end provides is that it allows integration of new
  481.         back ends which can translate IDL to various
  482.         programming languages. Locally at Sun we are working on
  483.         a back end that will produce C and C++, and we know of
  484.         companies (members of OMG) that are interested in other
  485.         target languages such as Pascal or Lisp.
  486. contact:    idl-cfe@sun.com
  487. updated:    1992/10/23
  488.  
  489. language:    IFP (Illinois Functional Programming)
  490. package:    ifp
  491. version:    0.5
  492. parts:        interpreter
  493. author:        Arch D. Robison <robison@shell.com>
  494. how to get:    comp.sources.unix archive volume 10
  495. description:    A variant of Backus' "Functional Programming" language
  496.         with a syntax reminiscent of Modula-2.    The interpreter
  497.         is written in portable C.
  498. references:    [1] Arch D. Robison, "Illinois Functional Programming: A
  499.         Tutorial," BYTE, (February 1987), pp. 115--125.
  500.         [2] Arch D. Robison, "The Illinois Functional
  501.         Programming Interpreter," Proceedings of 1987 SIGPLAN
  502.         Conference on Interpreters and Interpretive Techniques,
  503.         (June 1987), pp. 64-73
  504. ports:        UNIX, MS-DOS, CTSS (Cray)
  505. updated:    ?
  506.  
  507. language:    INTERCAL
  508. package:    ?
  509. version:    ?
  510. how to get:    archie?
  511. description:    ?
  512. contact:    ?
  513. updated:    ?
  514.  
  515. language:    J
  516. package:    J-mode
  517. what:        add on to J
  518. parts:        emacs macros
  519. how to get:    ftp pub/j/gmacs/j-interaction-mode.el from think.com
  520. updated:    1991/03/04
  521.  
  522. language:    J
  523. package:    J from ISI
  524. version:    6
  525. parts:        interpreter, tutorial
  526. author:        Kenneth E. Iverson and Roger Hui <hui@yrloc.ipsa.reuter.com>
  527. how to get:    ftp languages/apl/j/* from watserv1.waterloo.edu
  528. description:     J was designed and developed by Ken Iverson and Roger Hui.  It
  529.         is similar to the language APL, departing from APL in using
  530.         using the ASCII alphabet exclusively, but employing a spelling
  531.         scheme that retains the advantages of the special alphabet
  532.         required by APL. It has added features and control structures
  533.         that extend its power beyond standard APL.  Although it can be
  534.         used as a conventional procedural programming language, it can
  535.         also be used as a pure functional programming language.
  536. ports:        Dec, NeXT, SGI, Sun-3, Sun-4, VAX, RS/6000, MIPS, Mac, Acorn
  537.         IBM-PC, Atari, 3b1, Amiga
  538. updated:    1992/10/31
  539.  
  540. language:    Janus
  541. package:    qdjanus
  542. version:    1.3
  543. parts:        translator(prolog)
  544. author:        Saumya Debray <debray@cs.arizona.edu>
  545. how to get:    ftp janus/qdjanus/* from cs.arizona.edu
  546. conformance:    mostly compliant with "Programming in Janus" by 
  547.         Saraswat, Kahn, and Levy.
  548. description:    janus is a janus-to-prolog compiler meant to be used 
  549.         with Sicstus Prolog
  550. updated:    1992/05/18
  551.  
  552. language:    Janus
  553. package:    jc
  554. version:    1.50 alpha
  555. parts:        translator(C)
  556. author:        David Gudeman <gudeman@cs.arizona.edu>
  557. how to get:    ftp janus/jc/* from cs.arizona.edu
  558. description:    jc is a janus-to-C compiler (considerably faster than qdjanus).
  559.         jc is a _sequential_ implementation of a _concurrent_ language.
  560. status:        jc is an experimental system, undergoing rapid development.  
  561.         It is in alpha release currently.
  562. bugs:        jc-bugs@cs.arizona.edu
  563. discussion:    janusinterest-request@parc.xerox.com
  564. ports:        sun-4, sun-3, Sequent Symmetry
  565. updated:    1992/06/09
  566.  
  567. language:    Kevo
  568. package:    kevo
  569. version:    0.9b2
  570. parts:        ?, demo programs, user's guid, papers
  571. author:        Antero Taivalsaari <antero@csr.uvic.ca>
  572. how to get:    ftp /ursa/kevo/* from ursamajor.uvic.ca
  573. description:    Experimental prototype-based object-oriented system.
  574.         Although the Kevo system has been built to experiment
  575.         with ideas which are somewhat irrelevant from the
  576.         viewpoint of Forth, the system does bear some
  577.         resemblance to Forth; in particular, the system
  578.         executes indirect threaded code, and a great deal
  579.         of the primitives are similar to those of Forth's.
  580. ports:        Macintosh ('020 or better)
  581. contact:    kevo-interest@ursamajor.uvic.ca
  582. updated:    1992/09/21
  583.  
  584. language:    PCN
  585. package:    PCN
  586. version:    2.0
  587. parts:        compiler?, runtime, linker, libraries, tools, debugger, 
  588.         profiler, tracer
  589. author:        Ian Foster <foster@mcs.anl.gov>, Steve Tuecke
  590.         <tuecke@mcs.anl.gov>, and others
  591. how to get:    ftp pub/pcn/pcn_v2.0.tar.Z from info.mcs.anl.gov
  592. description:    PCN is a parallel programming system designed to improve
  593.         the productivity of scientists and engineers using parallel
  594.         computers.  It provides a simple language for specifying
  595.         concurrent algorithms, interfaces to Fortran and C, a
  596.         portable toolkit that allows applications to be developed
  597.         on a workstation or small parallel computer and run
  598.         unchanged on supercomputers, and integrated debugging and
  599.         performance analysis tools.  PCN was developed at Argonne
  600.         National Laboratory and the California Institute of
  601.         Technology.  It has been used to develop a wide variety of
  602.         applications, in areas such as climate modeling, fluid
  603.         dynamics, computational biology, chemistry, and circuit
  604.         simulation.
  605. ports:        (workstation nets): Sun4, NeXT, RS/6000, SGI
  606.         (multicomputers): iPSC/860, Touchstone DELTA
  607.         (shared memory multiprocessors): Symmetry/Dynix
  608. contact:    <pcn@mcs.anl.gov>
  609. updated:    1993/02/12
  610.  
  611. language:    RLaB language (math manipulation - MATLAB-like)
  612. package:    RLaB
  613. version:    0.50 - first public release, still alpha
  614. parts:        interpreter, libraries, documentation
  615. author:        Ian Searle <ians@eskimo.com>
  616. how to get:    ftp pub/alpha/RLaB from evans.ee.adfa.oz.au
  617. description:    RLaB is a "MATLAB-like" matrix-oriented programming
  618.         language/toolbox.  RLaB focuses on creating a good experimental
  619.         environment (or laboratory) in which to do matrix math
  620.         Currently RLaB has numeric scalars and matrices (real and
  621.         complex), and string scalars, and matrices. RLaB also contains
  622.         a list variable type, which is a heterogeneous associative
  623.         array.
  624. restriction:    GNU General Public License
  625. requires:    GNUPLOT, lib[IF]77.a (from f2c)
  626. ports:        many unix, OS/2, Amiga
  627. bugs:        Ian Searle <ians@eskimo.com>
  628. updated:    1993/02/16
  629.  
  630. language:    FUDGIT language (math manipulation)
  631. package:    FUDGIT
  632. version:    2.27
  633. parts:        interpreter
  634. author:        Thomas Koenig <ig25@rz.uni-karlsruhe.de> ??
  635. how to get:    ftp /pub/linux/sources/usr.bin/fudgit-* from tsx-11.mit.edu ??
  636. description:    FUDGIT is a double-precision multi-purpose fitting program.  It
  637.         can manipulate complete columns of numbers in the form of
  638.         vector arithmetic. FUDGIT is also an expression language
  639.         interpreter understanding most of C grammar except pointers.
  640.         Morever, FUDGIT is a front end for any plotting program
  641.         supporting commands from stdin. It is a nice mathematical
  642.         complement to GNUPLOT, for example.
  643. requires:    GNUPLOT
  644. ports:        AIX, HPUX, Linux, IRIX, NeXT, SunOS, Ultrix
  645. updated:    1993/02/22
  646.  
  647. language:    Unix BC (arbitrary-precision arithmetic language)
  648. package:    GNU BC
  649. version:    1.02
  650. parts:        interpreter?
  651. author:        ?
  652. how to get:    ftp bc-1.02.tar.Z from a GNU archive site
  653. description:    Bc is an arbitrary precision numeric processing language.  Its
  654.         syntax in similar to C but differs in many substantial areas.
  655.         This version was written to be a POSIX compliant bc processor
  656.         with several extensions to the draft standard.  This version
  657.         does not use the historical method of having bc be a compiler
  658.         for the dc calculator.  This version has a single executable
  659.         that both compiles the language and runs the resulting "byte
  660.         code".  The "byte code" is NOT the dc language.
  661. bugs:        ?
  662. updated:    ?
  663.  
  664. language:    Calc?  (symbolic math calculator)
  665. package:    Calc
  666. version:    2.02
  667. parts:        interpreter, emacs mode
  668. author:        ?
  669. how to get:    ftp calc-2.02.tar.z from a GNU archive site
  670. description:    Calc is an extensible, advanced desk calculator and
  671.         mathematical tool written in Emacs Lisp that runs as part of
  672.         GNU Emacs.  It is accompanied by the "Calc Manual", which
  673.         serves as both a tutorial and a reference.  If you wish, you
  674.         can use Calc as only a simple four-function calculator, but it
  675.         also provides additional features including choice of algebraic
  676.         or RPN (stack-based) entry, logarithms, trigonometric and
  677.         financial functions, arbitrary precision, complex numbers,
  678.         vectors, matrices, dates, times, infinities, sets, algebraic
  679.         simplification, differentiation, and integration.
  680. bugs:        ?
  681. updated:    ?
  682.  
  683. language:    lex
  684. package:    flex
  685. version:    2.3.7
  686. parts:        scanner generator
  687. how to get:    ftp flex-2.3.7.tar.Z from a GNU archive site or ftp.ee.lbl.gov
  688. author:        Vern Paxson <vern@ee.lbl.gov>
  689. updated:    1992/10/20
  690.  
  691. language:    LIFE (Logic, Inheritance, Functions, and Equations)
  692. package:    Wild_LIFE
  693. version:    first-release
  694. parts:        interpreter, manual, tests, libraries, examples
  695. author:        Paradise Project, DEC Paris Research Laboratory.
  696. how to get:    ftp pub/plan/Life.tar.Z from gatekeeper.dec.com.
  697. description:    LIFE is an experimental programming language with a
  698.         powerful facility for structured type inheritance.  It
  699.         reconciles styles from functional programming, logic
  700.         programming, and object-oriented programming.  LIFE
  701.         implements a constraint logic programming language with
  702.         equality (unification) and entailment (matching)
  703.         constraints over order-sorted feature terms.  The
  704.         Wild_LIFE interpreter has a comfortable user interface
  705.         with incremental query extension ability.  It contains
  706.         an extensive set of built-in operations as well as an X
  707.         Windows interface.
  708. conformance:    semantic superset of LOGIN and LeFun.  Syntax is similar
  709.         to prolog.
  710. discussion:    life-request@prl.dec.com
  711. bugs:        life-bugs@prl.dec.com
  712. contact:    Peter Van Roy <vanroy@prl.dec.com>
  713. ports:        MIPS-Ultrix
  714. portability:    good in theory
  715. updated:    1992/12/14
  716.  
  717. language:    lisp
  718. package:    RefLisp
  719. version:    2.67
  720. parts:        interpreter, documentation, examples, profiler
  721. author:        Bill Birch <bbirch@hemel.bull.co.uk>
  722. how to get:    ftp implementations/reflisp/* from the directory 
  723.         /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu
  724. description:    The interpreter is a shallow-binding (i.e., everything has
  725.         dynamic scope), reference counting design making it suitable
  726.         for experimenting with real-time and graphic user interface
  727.         programming. Common Lisp compatibility macros are provided, and
  728.         most of the examples in "Lisp" by Winston & Horn have been run
  729.         on RefLisp.  RefLisp makes no distinction between symbol-values
  730.         and function-values, so a symbol can be either but not both.
  731.         There are Lisp modules for lexical scope and for running
  732.         indefinite extent Scheme programs.
  733. status:        "Last Update for a While," author is emigrating to Australia
  734. ports:        MSDOS (CGA/EGA/VGA), Unix (AIX)
  735. updated:    1993/02/09
  736.  
  737. language:    lisp
  738. package:    xlisp
  739. version:    2.1
  740. parts:        interpreter
  741. author:        David Micheal Betz <dbetz@apple.com>
  742. how to get:    ftp pub/xlisp* from wasp.eng.ufl.edu
  743.     usmail:    contact Tom Almy <toma@sail.labs.tek.com>
  744.     windows:    ftp util/wxlslib.zip from ftp.cica.indiana.edu
  745.     version2.0: ftp pub/xlisp/* from cs.orst.edu
  746. description:    XLISP is an experimental programming language
  747.         combining some of the features of Common Lisp with an
  748.         object-oriented extension capability.  It was
  749.         implemented to allow experimentation with
  750.         object-oriented programming on small computers.
  751. conformance:    subset of Common Lisp with additions of Class and Object
  752. portability:    very high: just needs a C compiler
  753. ports:        unix, amiga, atari, mac, MSDOS
  754. restriction:    ? no commercial use ?
  755. updated:    1992/05/26 (unix), 1987/12/16 (other platforms)
  756.  
  757. language:    lisp
  758. package:    "LISP, Objects, and Symbolic Programming"
  759. version:    ? 
  760. parts:        book with compiler included
  761. author:        Robert R. Kessler and Amy R. Petajan
  762. publisher:    Scott, Foresman and Company, Glenview, IL
  763. how to get:    bookstore...
  764. updated:    1988
  765.  
  766. language:    lisp
  767. package:    franz lisp
  768. version:    ?
  769. how to get:    [does anyone know where you get franz lisp??? --muir]
  770. author:        ?
  771. discussion:    franz-friends-request@berkeley.edu
  772. updated:    ?
  773.  
  774. language:    lisp (WOOL - Window Object Oriented Language)
  775. package:    GWM (Generic Window Manager)
  776. version:    ?
  777. parts:        interpreter, examples
  778. author:        ?
  779. how to get:    ftp contrib/gwm/* from export.lcs.mit.edu
  780.     france:    ftp pub/gwm/* from avahi.inria.fr
  781. description:    Gwm is an extensible window manager for X11.  It is
  782.         based on a WOOL kernel, and interpreted dialect of lisp 
  783.         with specific winow management primitives.
  784. discussion:    gwm-talk@???
  785. contact:    ?
  786. updated:    ?
  787.  
  788. language:    lisp (elisp - Emacs Lisp)
  789. package:    GNU Emacs
  790. version:    18.59
  791. parts:        editor, interpreter, documentation
  792. author:        Richard Stallman <rms@gnu.ai.mit.edu> and others
  793. description:    An editor that is almost an operating system.  Quite
  794.         programmable.  [someone want to say something better? --muir]
  795. discussion:    alt.religion.emacs, gnu.emacs.sources
  796. announcements:    gnu.emacs.announce
  797. bugs:        gnu.emacs.bug
  798. help:        gnu.emacs.help
  799. ports:        Unix, VMS, ?
  800. updated:    ?
  801.  
  802. language:    Logo
  803. package:    logo
  804. version:    4
  805. parts:        interpreter
  806. author:        ?
  807. how to get:    comp.sources.unix archive volume 10
  808. description:    ?
  809. updated:    ?
  810.  
  811. language:    Logo
  812. package:    Berkeley Logo
  813. version:    2.9 - alpha
  814. parts:        interpreter
  815. author:        Brian Harvey <bh@anarres.CS.Berkeley.EDU>
  816. how to ge:    ftp pub/*logo* from anarres.cs.berkeley.edu
  817. description:    + Logo programs are compatible among Unix, PC, and Mac.
  818.         + "richer" than MswLogo
  819.         - pretty slow.
  820.         - doesn't do anything fancy about graphics.  (One turtle.)
  821. ports:        unix, pc, mac
  822. updated:    1993/03/01
  823.  
  824. language:    Logo
  825. package:    MswLogo
  826. version:    3.2
  827. parts:        interpreter
  828. author:        George Mills <mills@athena.lkg.dec.com>
  829. how to get:    ftp pd1:<msdos.log>/MSW*.ZIP from OAK.Oakland.Edu
  830. description:    A windows front-end for Berkeley Logo
  831. status:        activly developed
  832. bugs:        George Mills <mills@athena.lkg.dec.com>
  833. ports:        MS Windows 3.x
  834. updated:    1992/10/17
  835.  
  836. language:    Lolli (logic programming)
  837. package:    Lolli
  838. parts:        ?
  839. how to get:    ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu
  840. author:        ? Josh Hodas <hodas@saul.cis.upenn.edu> ?
  841. description:    Lolli is an interpreter for logic programming based 
  842.         on linear logic principles.
  843.         Lolli can be viewed as a refinement of the the
  844.         Hereditary Harrop formulas of Lambda-Prolog. All the
  845.         operators (though not the higher order unification) of
  846.         Lambda-Prolog are supported, but with the addition of
  847.         linear variations. Thus a Lolli program distinguishes
  848.         between clauses which can be used as many, or as few,
  849.         times as desired, and those that must be used exactly
  850.         once.
  851. requires:    ML
  852. updated:    1992/11/08
  853.  
  854. language:    LOOPN
  855. package:    LOOPN
  856. version:    ?
  857. parts:        compiler?, simulator
  858. how to get:    ftp departments/computer_sci*/loopn.tar.Z from ftp.utas.edu.au
  859. description:    I wish to announce the availability of a compiler, simulator
  860.         and associated source control for an object-oriented petri net
  861.         language called LOOPN.  In LOOPN, a petri net is an extension
  862.         of coloured timed petri nets.  The extension means firstly that
  863.         token types are classes.  In other words, they consist of both
  864.         data fields and functions, they can be declared by inheriting
  865.         from other token types, and they can be used polymorphically.
  866.         The object-oriented extensions also mean that module or subnet
  867.         types are classes.  LOOPN has been developed over a period of
  868.         about 5 years at the University of Tasmania, where it has been
  869.         used in teaching computer simulation and the modelling of
  870.         network protocols.  A petri net is a directed, bipartite graph;
  871.         nodes are either places (represented by circles) or transitions
  872.         (represented by rectangles).  A net is marked by placing tokens
  873.         on places.  When all the places pointing to a transition (the
  874.         input places) have a token, the net may be fired by removing a
  875.         token from each input place and adding a token to each place
  876.         pointed to by the transition (the output places).  Petri nets
  877.         are used to model concurrent systems, particularly in the
  878.         network protocol area.
  879. contact:    Charles Lakos <charles@probitas.cs.utas.edu.au>
  880. updated:    1992/12/20
  881.  
  882. language:    MeldC (MELD, C)
  883. package:    MeldC
  884. version:    2.0
  885. parts:        microkernel, compiler, debugger, manual, examples
  886. author:        MELD Project,  Programming Systems Laboratory at 
  887.         Columbia University
  888. how to get:    obtain license from <MeldC@cs.columbia.edu>
  889. restriction:    must sign license, cannot use for commercial purposes
  890. description:    MeldC 2.0: A Reflective Object-Oriented Coordination
  891.         Programming Language MELDC  is    a C-based, concurrent,
  892.         object-oriented language built on a reflective
  893.         architecture.     The  core  of    the  architecture  is
  894.         a micro-kernel    (the MELDC kernel), which encapsulates
  895.         a minimum set of entities that cannot be modeled as
  896.         objects.  All  components  outside of        the
  897.         kernel    are  implemented  as objects in MELDC itself
  898.         and are modularized in the MELDC libraries.  MELDC is
  899.         reflective in three  dimensions:       structural,
  900.         computational and  architectural.  The structural
  901.         reflection indicates that classes and meta-classes are
  902.         objects,  which     are       written  in    MELDC.      The
  903.         computational  reflection means that object behaviors
  904.         can be computed and extended at runtime.  The
  905.         architectural reflection indicates that new
  906.         features/properties  (e.g.,  persistency  and
  907.         remoteness) can be constructed in MELDC.
  908. ports:        Sun4/SunOS4.1 Mips/Ultrix4.2
  909. contact:    <MeldC@cs.columbia.edu>
  910. updated:    1992/12/15
  911.  
  912. language:    ML
  913. package:    LML
  914. version:    ?
  915. parts:        compiler(?), interactive environment
  916. how to get:    ftp ? from animal.cs.chalmers.se
  917. description:    lazy, completely functional variant of ML.
  918. ports:        ?
  919. contact:    ?
  920. updated:    1992/07/06
  921.  
  922. langauge:    m4
  923. package:    GNU m4
  924. version:    1.0
  925. parts:        interperter, ?
  926. how to get:    ftp m4-1.0.tar.Z from a GNU archive site
  927. author:        ?
  928. description:    A macro preprocessor language, somewhat flexible.
  929. conformance:    ?
  930. ports:        ?
  931. updated:    1991/10/25
  932.  
  933. language:    Modula-2, Pascal
  934. package:    m2
  935. version:    ? 7/2/92 ?
  936. parts:        ? compiler ?
  937. history:    The compiler was designed and built by Michael L.
  938.         Powell, and originally released in 1984.  Joel
  939.         McCormack sped the compiler up, fixed lots of bugs, and
  940.         swiped/wrote a User's Manual.  Len Lattanzi ported the
  941.         compiler to the MIPS.
  942. description:    A modula-2 compiler for VAX and MIPS.  A Pascal
  943.         compiler for VAX is also included.  The Pascal compiler
  944.         accepts a language that is almost identical to Berkeley
  945.         Pascal.
  946. conformance:    extensions:    
  947.         + foreign function and data interface
  948.         + dynamic array variables
  949.         + subarray parameters
  950.         + multi-dimensional open array parameters
  951.         + inline proceedures
  952.         + longfloat type
  953.         + type-checked interface to C library I/O routines
  954. how to get:    ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com
  955. restriction:    must pass changes back to Digital
  956. ports:        vax (ultrix, bsd), mips (ultrix)
  957. contact:    modula-2@decwrl.pa.dec.com
  958. updated:    1992/07/06
  959.  
  960. language:    Modula-2
  961. package:    mtc
  962. parts:        translator(C)
  963. how to get:    ftp soft/unixtools/compilerbau/mtc.tar.Z 
  964.         from rusmv1.rus.uni-stuttgart.de 
  965. author:        ?
  966. description:    ?
  967. ports:        ?
  968. updated:    1991/10/25
  969.  
  970. language:    Modula-2, Modula-3
  971. package:    M2toM3 ?
  972. version:    ?
  973. parts:        translator(Modula-2 -> Modula-3), ?
  974. author:        ?
  975. how to get:    ftp pub/DEC/Modula-3/contrib/M2toM3 from gatekeeper.dec.com
  976. description:    ?
  977. requires:    ?
  978. updated:    ?
  979.  
  980. language:    Modula-2
  981. package:    PRAM emulator and parallel modula-2 compiler ??
  982. version:    ?
  983. parts:        compiler, emulator
  984. how to get:    ftp pub/pram/* from cs.joensuu.fi
  985. description:    A software emulator for parallel random access machine (PRAM)
  986.         and a parallel modula-2 compiler for the emulator.  A PRAM
  987.         consists of P processors, an unbounded shared memory, and a
  988.         common clock. Each processor is a random access machine (RAM)
  989.         consisting of R registers, a program counter, and a read-only
  990.         signature register. Each RAM has an identical program, but the
  991.         RAMs can branch to different parts of the program. The RAMs
  992.         execute the program synchronously one instruction in one clock
  993.         cycle.
  994.         pm2 programming language is Modula-2/Pascal mixture having
  995.         extensions for parallel execution in a PRAM. Parallelism is
  996.         expressed by pardo-loop- structure. Additional features include
  997.         privat/shared variables, two synchronization strategies, load
  998.         balancing and parallel dynamic memory allocation.
  999. contact:    Simo Juvaste <sjuva@cs.joensuu.fi>
  1000. updated:    1993/02/17
  1001.  
  1002. language:    Modula-3
  1003. package:    SRC Modula-3
  1004. version:    2.11
  1005. parts:        translator(C), runtime, library, documentation
  1006. how to get:    ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com
  1007. description:    The goal of Modula-3 is to be as simple and safe as it
  1008.         can be while meeting the needs of modern systems
  1009.         programmers.  Instead of exploring new features, we
  1010.         studied the features of the Modula family of languages
  1011.         that have proven themselves in practice and tried to
  1012.         simplify them into a harmonious language.  We found
  1013.         that most of the successful features were aimed at one
  1014.         of two main goals: greater robustness, and a simpler,
  1015.         more systematic type system.  Modula-3 retains one of
  1016.         Modula-2's most successful features, the provision for
  1017.         explicit interfaces between modules.  It adds objects
  1018.         and classes, exception handling, garbage collection,
  1019.         lightweight processes (or threads), and the isolation
  1020.         of unsafe features.
  1021. conformance:    implements the language defined in SPwM3.
  1022. ports:        i386/AIX 68020/DomainOS Acorn/RISCiX MIPS/Ultrix 68020/HP-UX
  1023.         RS6000/AIX IBMRT/4.3 68000/NextStep i860/SVR4 SPARC/SunOS
  1024.         68020/SunOS sun386/SunOS Multimax/4.3 VAX/Ultrix
  1025. contact:    Bill Kalsow <kalsow@src.dec.com>
  1026. discussion:    comp.lang.modula3
  1027. updated:    1992/02/09
  1028.  
  1029. language:    Modula-3
  1030. package:    m3pc
  1031. parts:        ?
  1032. author:        ?
  1033. how to get:    ftp pub/DEC/Modula-3/contrib/m3pc* from gatekeeper.dec.com
  1034. description:    an implementation of Modula-3 for PCs.
  1035.         [Is this SRC Modula-3 ported? --muir]
  1036. updated:    ?
  1037.  
  1038. language:    Motorola DSP56001 assembly
  1039. package:    a56
  1040. version:    1.1
  1041. parts:        assembler
  1042. author:        Quinn C. Jensen <jensenq@qcj.icon.com>
  1043. how to get:    alt.sources archive
  1044. updated:    1992/08/10
  1045.  
  1046. language:    natural languages
  1047. package:    proof
  1048. parts:        parser, documentation
  1049. author:        Craig R. Latta <latta@xcf.Berkeley.EDU>
  1050. how to get:    ftp src/local/proof/* from scam.berkeley.edu
  1051. description:    a left-associative natural language grammar scanner
  1052. bugs:        proof@xcf.berkeley.edu
  1053. discussion:    proof-request@xcf.berkeley.edu ("Subject: add me")
  1054. ports:        Decstation3100 Sun-4
  1055. updated:    1991/09/23
  1056.  
  1057. language:    NewsClip ?
  1058. package:    NewsClip
  1059. version:    1.01
  1060. parts:        translator(NewsClip->C), examples, documentation
  1061. author:        Looking Glass Software Limited but distributed by 
  1062.         ClariNet Communications Corp.
  1063. description:    NewsClip is a very high level language designed for
  1064.         writing netnews filters.  It translates into C.
  1065.         It includes support for various newsreaders.
  1066. restriction:    Cannot sell the output of the filters.  Donation is hinted at.
  1067. status:        supported for ClariNet customers only
  1068. contact:    newsclip@clarinet.com
  1069. updated:    1992/10/25
  1070.  
  1071. language:    Oaklisp
  1072. package:    oaklisp
  1073. version:    1.2
  1074. parts:        interface, bytecode compiler, runtime system, documentation
  1075. author:        Barak Pearlmutter, Kevin Lang
  1076. how to get:    ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu
  1077. description:    Oaklisp is a Scheme where everything is an object.  It 
  1078.         provides multiple inheritence, a strong error system,
  1079.         setters and locators for operations, and a facility for
  1080.         dynamic binding.
  1081. status:        actively developed?
  1082. contact:    Pearlmutter-Barak@CS.Yale.Edu ?
  1083. updated:    1992/05 ?
  1084.  
  1085. language:    Oberon
  1086. package:    Oberon from ETH Zurich
  1087. version:    2.2 (msdos: 1.0)
  1088. parts:        compiler, programming environment, libraries, documenation
  1089. how to get:    ftp Oberon/* from neptune.inf.ethz.ch
  1090.     MSDOS:    ftp Oberon/DOS386/* from neptune.inf.ethz.ch
  1091.     macintosh:    ??? same package or different ??? ftp 
  1092.         /mac/development/languages/macoberon2.40.sit.hqx 
  1093.         from archive.umich.edu
  1094. author:        Josef Templ <templ@inf.ethz.ch>
  1095. conformance:    superset (except Mac)
  1096. ports:        DECstation/MIPS/Ultrix/X11 Macintosh/68020/MacOS/QuickDraw
  1097.         IBM/RS6000/AIX/X11 Sun-4/SunOS4/X11 Sun-4/SunOS4/pixrect
  1098.         MSDOS
  1099. contact:    Leuthold@inf.ethz.ch
  1100. updated:    1992/07/20
  1101.  
  1102. language:    Oberon2
  1103. package:    Oberon-2 LEX/YACC definition 
  1104. version:    1.4
  1105. parts:        parser(yacc), scanner(lex)
  1106. how to get:    mail bevan@cs.man.ac.uk with Subject "b-server-request~ and
  1107.         body "send oberon/oberon_2_p_v1.4.shar"
  1108. author:        Stephen J Bevan <bevan@cs.man.ac.uk>
  1109. parts:        scanner(lex) parser(yacc)
  1110. status:        un-officially supported
  1111. updated:    1992/07/06
  1112.  
  1113. language:    OPS5
  1114. package:    PD OPS5
  1115. version:    ?
  1116. parts:        interpreter
  1117. how to get:    ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from 
  1118.         ftp.cs.cmu.edu
  1119. author:        Written by Charles L. Forgy and ported to Common Lisp by 
  1120.         George Wood and Jim Kowalski. 
  1121. description:    Public domain implementation of an OPS5 interpreter. OPS5 is
  1122.         a programming language for production systems.     ??????
  1123. contact:    ? Mark Kantrowitz <mkant+@cs.cmu.edu> ?
  1124. requires:    Common Lisp
  1125. updated:    1992/10/17
  1126.  
  1127. language:    Parallaxis
  1128. package:    parallaxis
  1129. version:    2.0
  1130. parts:        ?, simulator, x-based profiler
  1131. author:        ?
  1132. how to get:    ftp pub/parallaxis from ftp.informatik.uni-stuttgart.de
  1133. description:    Parallaxis is a procedural programming language based
  1134.         on Modula-2, but extended for data parallel (SIMD) programming.
  1135.         The main approach for machine independent parallel programming 
  1136.         is to include a description of the virtual parallel machine 
  1137.         with each parallel algorithm.
  1138. ports:        MP-1, CM-2, Sun-3, Sun-4, DECstation, HP 700, RS/6000
  1139. contact:    ? Thomas Braunl <braunl@informatik.uni-stuttgart.de> ?
  1140. updated:    1992/10/23
  1141.  
  1142. language:    Parlog
  1143. package:    SPM System (Sequential Parlog Machine)
  1144. version:    ?
  1145. parts:        ?, documenation
  1146. author:        ?
  1147. how to get:    ? ftp lang/Parlog.tar.Z from nuri.inria.fr
  1148. description:    a logic programming language ?
  1149. references:    Steve Gregory, "Parallel Logic Programming in PARLOG", 
  1150.         Addison-Wesely, UK, 1987
  1151. ports:        Sun-3 ?
  1152. restriction:    ? no source code ?
  1153. updated:    ??
  1154.  
  1155. language:    Pascal
  1156. package:    p2c
  1157. version:    1.20
  1158. parts:        translator(Pascal->C)
  1159. author:        Dave Gillespie <daveg@synaptics.com>
  1160. how to get:    ftp ? from csvax.cs.caltech.edu
  1161. conformance:    supports ANSI/ISO standard Pascal as well as substantial 
  1162.         subsets of HP, Turbo, VAX, and many other Pascal dialects.
  1163. ports:        ?
  1164. updated:    1990/04/13
  1165.  
  1166. language:    Pascal
  1167. package:    ? iso_pascal ?
  1168. version:    ?
  1169. parts:        scanner(lex), parser(yacc)
  1170. author:        ?
  1171. how to get:    comp.sources.unix archive volume 13
  1172. description:    ?
  1173. updated:    ?
  1174.  
  1175. language:    Pascal, Lisp, APL, Scheme, SASL, CLU, Smalltalk, Prolog
  1176. package:    Tim Budd's C++ implementation of Kamin's interpreters
  1177. version:    ?
  1178. parts:        interpretors, documentation
  1179. author:        Tim Budd <budd@cs.orst.edu>
  1180. how to get:    ? ftp pub/budd/kamin/*.shar from cs.orst.edu ?
  1181. description:    a set of interpretors written as subclasses based on
  1182.         "Programming Languages, An Interpreter-Based Approach",
  1183.         by Samuel Kamin.
  1184. requires:    C++
  1185. status:        ? 
  1186. contact:    Tim Budd <budd@fog.cs.orst.edu>
  1187. updated:    1991/09/12
  1188.  
  1189. language:    Pascal
  1190. package:    ? frontend ?
  1191. version:    Alpha
  1192. parts:        frontend (lexer, parser, semantic analysis)
  1193. author:        Willem Jan Withagen <wjw@eb.ele.tue.nl>
  1194. how to get:    ftp pub/src/pascal/front* from ftp.eb.ele.tue.nl
  1195. description:    a new version of the PASCAL frontend using the Cocktail 
  1196.         compiler tools.
  1197. updated:    1993/02/24
  1198.  
  1199. language:    Pascal
  1200. package:    ptc
  1201. version:    ?
  1202. parts:        translator(Pacal->C)
  1203. how to get:    ftp languages/ptc from uxc.sco.uiuc.edu ?  (use archie?)
  1204. description:    ?
  1205. contact:    ?
  1206. updated:    ?
  1207.  
  1208. language:    Turbo Pascal, Turbo C
  1209. package:    tptc
  1210. version:    ?
  1211. parts:        translator(Turbo Pascal->Turbo C)
  1212. how to get:    ftp mirrors/msdos/turbopas/tptc17*.zip from wuarchive.wustl.edu
  1213. description:    (It does come with full source and a student recently used it
  1214.         as a start for a language that included stacks and queues as a
  1215.         built-in data type.
  1216. contact:    ?
  1217. updated:    ?
  1218.  
  1219. language:    Perl (Practical Extraction and Report Language)
  1220. package:    perl
  1221. version:    4.0 patchlevel 36
  1222. parts:        interpreter, debugger, libraries, tests, documentation
  1223. how to get:    ftp pub/perl.4.0/* from jpl-devvax.jpl.nasa.gov 
  1224.     OS/2 port:    ftp pub/os2/all/unix/prog*/perl4019.zip from hobbes.nmsu.edu
  1225.     Mac port:    ftp software/mac/src/mpw_c/Mac_Perl_405_* from nic.switch.ch
  1226.     Amiga port: ftp perl4.035.V010.* from wuarchive.wustl.edu
  1227.     VMS port:    ftp software/vms/perl/* from ftp.pitt.edu
  1228.     Atari port: ftp amiga/Languages/perl* from atari.archive.umich.edu
  1229.     DOS port:    ftp pub/msdos/perl/* from ftp.ee.umanitoba.ca
  1230. author:        Larry Wall <lwall@netlabs.com>
  1231. description:    perl is an interpreted language optimized for scanning 
  1232.         arbitrary text files, extracting information from those text
  1233.         files, and printing reports based on that information.    It's
  1234.         also a good language for many system management tasks.    
  1235. features:    + very-high semantic density becuase of powerful operators
  1236.         like regular expression substitution
  1237.         + exceptions, provide/require
  1238.         + associative array can be bound to dbm files
  1239.         + no arbitrary limits
  1240.         + direct access to almost all system calls
  1241.         + can access binary data
  1242.         + many powerful common-task idioms
  1243.         - three variable types: scalar, array, and hash table
  1244.         - unappealing syntax
  1245. references:    "Programming Perl" by Larry Wall and Randal L. Schwartz,
  1246.         O'Reilly & Associates, Inc.  Sebastopol, CA.
  1247.         ISBN 0-93715-64-1
  1248. discussion:    comp.lang.perl
  1249. bugs:        comp.lang.perl; Larry Wall <lwall@netlabs.com>
  1250. ports:        almost all unix, MSDOS, Mac, Amiga, Atari, OS/2, VMS
  1251. portability:    very high for unix, not so high for others
  1252. updated:    1993/02/07
  1253.  
  1254. language:    perl, awk, sed, find
  1255. package:    a2p, s2p, find2perl
  1256. parts:        translators(perl)
  1257. author:        Larry Wall
  1258. how to get:    comes with perl
  1259. description:    translators to turn awk, sed, and find into perl.
  1260.  
  1261. language:    perl, yacc
  1262. package:    perl-byacc
  1263. version:    1.8.2
  1264. parts:        parser-generator(perl)
  1265. how to get:    ftp local/perl-byacc.tar.Z from ftp.sterling.com
  1266. author:        Rick Ohnemus <rick@IMD.Sterling.COM>
  1267. description:    A modified version of byacc that generates perl code.  Has '-p'
  1268.         switch so multiple parsers can be used in one program (C or
  1269.         perl).
  1270. portability:    Should work on most (?) UNIX systems.  Also works with 
  1271.         SAS/C 6.x on AMIGAs.
  1272. updated:    1993/01/24
  1273.  
  1274. language:    Postscript
  1275. package:    Ghostscript
  1276. version:    2.5.2
  1277. parts:        interpreter, ?
  1278. author:        L. Peter Deutsch <ghost%ka.cs.wisc.edu@cs.wisc.edu>
  1279. how to get:    ftp pub/GNU/ghostscript* from a GNU archive site
  1280. description:    ?
  1281. updated:    1992/10/07
  1282.  
  1283. language:    Postscript, Common Lisp
  1284. package:    PLisp
  1285. version:    ?
  1286. parts:        translator(Postscript), programming environment(Postscript)
  1287. description:    ?
  1288. author:        John Peterson <peterson-john@cs.yale.edu>
  1289. updated:    ?
  1290.  
  1291. language:    Prolog
  1292. package:    SB-Prolog
  1293. version:    3.1 ?
  1294. author:        interpreter
  1295. how to get:    ftp pub/sbprolog from sbcs.sunysb.edu
  1296. description:    ?
  1297. contact:    ? warren@sbcs.sunysb.edu ?
  1298. restriction:    GNU General Public License
  1299. updated:    ?
  1300.  
  1301. langauge:    Prolog
  1302. package:    Modular SB-Prolog
  1303. version:    ?
  1304. parts:        interpreter
  1305. how to get:    ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk
  1306. description:    SB-Prolog version 3.1 plus modules
  1307. ports:        Sparc
  1308. contact:    Brian Paxton <mprolog@dcs.ed.ac.uk>
  1309. restriction:    GNU General Public License
  1310. updated:    ?
  1311.  
  1312. language:    ALF [prolog variant]
  1313. package:    alf (Algebraic Logic Functional programming language) 
  1314. version:    ?
  1315. parts:        runtime, compiler(Warren Abstract Machine)
  1316. author:        Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de>
  1317. how to get:    ftp pub/programming/languages/LogicFunctional from
  1318.         ftp.germany.eu.net
  1319. description:    ALF is a language which combines functional and
  1320.         logic programming techniques.  The foundation of
  1321.         ALF is Horn clause logic with equality which consists
  1322.         of predicates and Horn clauses for logic programming,
  1323.         and functions and equations for functional programming.
  1324.         Since ALF is an integration of both programming
  1325.         paradigms, any functional expression can be used
  1326.         in a goal literal and arbitrary predicates can
  1327.         occur in conditions of equations.
  1328. updated:    1992/10/08
  1329.  
  1330. language:    CLP (Constraint Logic Programming language) [Prolog variant]
  1331. package:    CLP(R)
  1332. version:    1.2
  1333. parts:        runtime, compiler(byte-code), contstraint solver
  1334. author:        IBM
  1335. how to get:    mail to Joxan Jaffar <joxan@watson.ibm.com>
  1336. description:    CLP(R) is a constraint logic programming language
  1337.         with real-arithmetic constraints.  The implementation
  1338.         contains a built-in constraint solver which deals
  1339.         with linear arithmetic and contains a mechanism
  1340.         for delaying nonlinear constraints until they become
  1341.         linear.     Since CLP(R) subsumes PROLOG, the system
  1342.         is also usable as a general-purpose logic programming
  1343.         language.  There are also powerful facilities for
  1344.         meta programming with constraints.  Significant
  1345.         CLP(R) applications have been published in diverse
  1346.         areas such as molecular biology, finance, physical
  1347.         modelling, etc.     We are distributing CLP(R) in order 
  1348.         to help widen the use of constraint programming, and 
  1349.         to solicit feedback on the system
  1350. restriction:    free for academic and research purposes only
  1351. contact:    Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar
  1352. ports:        unix, msdos, OS/2
  1353. updated:    1992/10/14
  1354.  
  1355. language:    Prolog (variant)
  1356. package:    Aditi
  1357. version:    Beta Release
  1358. parts:        interpreter, database
  1359. author:        Machine Intelligence Project, Univ. of Melbourne, Australia
  1360. how to get:    send email to aditi@cs.mu.oz.au
  1361. description:    The Aditi Deductive Database System is a multi-user
  1362.         deductive database system.  It supports base relations
  1363.         defined by facts (relations in the sense of relational
  1364.         databases) and derived relations defined by rules that
  1365.         specify how to compute new information from old
  1366.         information.  Both base relations and the rules
  1367.         defining derived relations are stored on disk and are
  1368.         accessed as required during query evaluation.  The
  1369.         rules defining derived relations are expressed in a
  1370.         Prolog-like language, which is also used for expressing
  1371.         queries.  Aditi supports the full structured data
  1372.         capability of Prolog.  Base relations can store
  1373.         arbitrarily nested terms, for example arbitrary length
  1374.         lists, and rules can directly manipulate such terms.
  1375.         Base relations can be indexed with B-trees or
  1376.         multi-level signature files.  Users can access the
  1377.         system through a Motif-based query and database
  1378.         administration tool, or through a command line
  1379.         interface.  There is also in interface that allows
  1380.         NU-Prolog programs to access Aditi in a transparent
  1381.         manner.     Proper transaction processing is not supported
  1382.         in this release.
  1383. ports:        Sparc/SunOS4.1.2 Mips/Irix4.0
  1384. contact:    <aditi@cs.mu.oz.au>
  1385. updated:    1992/12/17
  1386.  
  1387. language:    Lambda-Prolog
  1388. package:    Prolog/Mali (PM)
  1389. version:    ? 6/23/92 ?
  1390. parts:        translator(C), linker, libraries, runtime, documentation
  1391. how to get:    ftp pm/* from ftp.irisa.fr
  1392. author:        Pascal Brisset <brisset@irisa.fr>
  1393. description:    Lambda-Prolog, a logic programming language defined by
  1394.         Miller, is an extension of Prolog where terms are
  1395.         simply typed $\lambda$terms and clauses are higher
  1396.         order hereditary Harrop formulas. The main novelties
  1397.         are universal quantification on goals and implication.
  1398. references:    + Miller D.A. and Nadathur G. "Higher-order logic 
  1399.         programming", 3rd International Conference on Logic 
  1400.         Programming, pp 448-462, London 1986.
  1401.         + Nadathur G. "A Higher-Order Logic as a Basis for Logic
  1402.         Programming", Thesis, University of Pennsylvania, 1987.     
  1403. requires:    MALI-V06 abstract memory. MALI is available by anonymous ftp 
  1404.         from ftp.irisa.fr
  1405. ports:        unix
  1406. discussion:    prolog-mali-request@irisa.fr
  1407. contact:    pm@irisa.fr
  1408. updated:    1992/07/06
  1409.  
  1410. language:    Prolog (variant)
  1411. package:    CORAL
  1412. version:    ?
  1413. parts:        interpreter, interface(C++), documentation
  1414. author:        ?
  1415. how to get:    ftp ? from ftp.cs.wisc.edu
  1416. description:    The CORAL deductive database/logic programming system was
  1417.         developed at the University of Wisconsin-Madison.  The CORAL
  1418.         declarative language is based on Horn-clause rules with
  1419.         extensions like SQL's group-by and aggregation operators, and
  1420.         uses a Prolog-like syntax.  * Many evaluation techniques are
  1421.         supported, including bottom-up fixpoint evaluation and top-down
  1422.         backtracking.  * A module mechanism is available.  Modules are
  1423.         separately compiled; different evaluation methods can be used
  1424.         in different modules within a single program.  * Disk-resident
  1425.         data is supported via an interface to the Exodus storage
  1426.         manager.  * There is an on-line help facility
  1427. requires:    AT&T C++ 2.0 (G++ soon)
  1428. ports:        Decstation, Sun4
  1429. updated:    1993/01/29
  1430.  
  1431. language:    Prolog
  1432. package:    BinProlog
  1433. version:    1.39
  1434. parts:        compiler?
  1435. how to get:    ftp BinProlog/* from clement.info.umoncton.ca
  1436. description:    ?
  1437. ports:        IBM-PC/386, Sun-4, Sun-3
  1438. contact:    Paul Tarau <tarau@info.umoncton.ca>
  1439. updated:    ?
  1440.  
  1441. language:    prolog
  1442. package:    SWI-Prolog
  1443. version:    1.6.12
  1444. author:        Jan Wielemaker <jan@swi.psy.uva.nl>
  1445. how to get:    ftp pub/SWI-Prolog from swi.psy.uva.nl 
  1446.     OS/2:    ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de
  1447. conformance:    superset
  1448. features:    "very nice Ed. style prolog, best free one I've seen"
  1449. ports:        Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but 
  1450.         incomplete, support needed); RS6000, PS2/AIX, Atari ST,
  1451.         Gould PN, NeXT, VAX, HP-UX (known problems, support needed);
  1452.         MSDOS (status unknown), OS/2
  1453. restriction:    GNU General Public License
  1454. status:        activly developed
  1455. discussion:    prolog-request@swi.psy.uva.nl
  1456. contact:    (OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de>
  1457. updated:    1993/03/05
  1458.